1. Solving higher-order equations: from logic to programming

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
L63
.
P74
1997